Nonmonotonic Desires - A Possibility Theory Viewpoint

If an agent desires that φ and desires that ψ, this agent often also desires that φ and ψ hold at the same time (φ∧ψ). However, there are cases where φ ∧ ψ may be found less satisfactory for the agent than each of φ or ψ alone. This paper is a first attempt at modeling such nonmonotonic desires. The approach is developed in the setting of possibility theory, since it has been recently pointed out that guaranteed (or strong) possibility measures are a good candidate for modeling graded desires. Although nonmonotonic reasoning has been studied extensively for knowledge, and that preferential nonmonotonic consequence relations can be faithfully represented in the possibilistic setting, nonmonotonic desires appear to require a different approach.